$\forall$$u$, $v$:$\mathbb{B}$. ($u$ = $v$) $\Rightarrow$ ($\uparrow$($u$ $\Rightarrow_{b}$ $v$))